Міністерство освіти і науки України Національний університет „Львівська політехніка” Кафедра «Захисту інформації»
Звіт Про виконання лабораторної роботи #4 На тему: “ Вивчення методів аналізу і синтезу скінченних автоматів. ”  Часові діаграми роботи заданої схеми лічильника.

 Мета роботи: вивчення методів аналізу і синтезу скінченних автоматів. xszs=>zs+1ys a1s a2s Q1s Q2s Q1s+1 Q2s+1 T1 T2 b1 b1  x1z0=>z2y2 0 0 0 0 1 0 1 0 1 0  x1z1=>z2y0 0 0 0 1 1 0 1 1 0 0  x1z2=>z0y1 0 0 1 0 0 0 1 0 0 1  x1z3=>z2y1 0 0 1 1 1 0 0 1 0 1  x2z0=>z3y2 0 1 0 0 1 1 1 1 1 0  x2z1=>z0y2 0 1 0 1 0 0 0 1 1 0  x2z2=>z1y0 0 1 1 0 0 1 1 1 0 0  x2z3=>z1y3 0 1 1 1 0 1 1 0 1 1  x3z0=>z2y1 1 0 0 0 1 0 1 0 0 1  x3z1=>z3y2 1 0 0 1 1 1 1 0 1 0  x3z2=>z2y2 1 0 1 0 1 0 0 0 1 0  x3z3=>z3y2 1 0 1 1 1 1 0 0 1 0  - 1 1 0 0 * * * * * *  - 1 1 0 1 * * * * * *  - 1 1 1 0 * * * * * *  - 1 1 1 1 * * * * * *